断定一个主项与谓项周延的性质判断为真，则断定了其主项和谓项有（ ）。

• A、同一关系
• B、交叉关系
• C、真包含关系
• D、全异关系
• E、不相容关系

两个概念之间的反对关系是（ ）。

• A、对称且传递的关系
• B、非对称且传递的关系
• C、反对称且传递的关系
• D、对称且非传递的关系

从真值表来验证（ （ p→q）∧﹁ p）├﹁q 是否为有效式。